Search results for "Countable set"
showing 10 items of 56 documents
Variations of selective separability II: Discrete sets and the influence of convergence and maximality
2012
A space $X$ is called selectively separable(R-separable) if for every sequence of dense subspaces $(D_n : n\in\omega)$ one can pick finite (respectively, one-point) subsets $F_n\subset D_n$ such that $\bigcup_{n\in\omega}F_n$ is dense in $X$. These properties are much stronger than separability, but are equivalent to it in the presence of certain convergence properties. For example, we show that every Hausdorff separable radial space is R-separable and note that neither separable sequential nor separable Whyburn spaces have to be selectively separable. A space is called \emph{d-separable} if it has a dense $\sigma$-discrete subspace. We call a space $X$ D-separable if for every sequence of …
Cardinal estimates involving the weak Lindelöf game
2021
AbstractWe show that if X is a first-countable Urysohn space where player II has a winning strategy in the game $$G^{\omega _1}_1({\mathcal {O}}, {\mathcal {O}}_D)$$ G 1 ω 1 ( O , O D ) (the weak Lindelöf game of length $$\omega _1$$ ω 1 ) then X has cardinality at most continuum. This may be considered a partial answer to an old question of Bell, Ginsburg and Woods. It is also the best result of this kind since there are Hausdorff first-countable spaces of arbitrarily large cardinality where player II has a winning strategy even in the weak Lindelöf game of countable length. We also tackle the problem of finding a bound on the cardinality of a first-countable space where player II has a wi…
Lambda substitution algebras
1993
In the paper an algebraic metatheory of type-free λ-calculus is developed. Our version is based on lambda substitution algebras (λSAs), which are just SAs introduced by Feldman (for algebraizing equational logic) enriched with a countable family of unary operations of λ-abstraction and a binary operation of application. Two representation theorems, syntactical and semantic, are proved, what directly provides completeness theorems.
Gabor systems and almost periodic functions
2017
Abstract Inspired by results of Kim and Ron, given a Gabor frame in L 2 ( R ) , we determine a non-countable generalized frame for the non-separable space AP 2 ( R ) of the Besicovic almost periodic functions. Gabor type frames for suitable separable subspaces of AP 2 ( R ) are constructed. We show furthermore that Bessel-type estimates hold for the AP norm with respect to a countable Gabor system using suitable almost periodic norms of sequences.
Are locally finite MV-algebras a variety?
2021
We answer Mundici's problem number 3 (D. Mundici. Advanced {\L}ukasiewicz calculus. Trends in Logic Vol. 35. Springer 2011, p. 235): Is the category of locally finite MV-algebras equivalent to an equational class? We prove: (i) The category of locally finite MV-algebras is not equivalent to any finitary variety. (ii) More is true: the category of locally finite MV-algebras is not equivalent to any finitely-sorted finitary quasi-variety. (iii) The category of locally finite MV-algebras is equivalent to an infinitary variety; with operations of at most countable arity. (iv) The category of locally finite MV-algebras is equivalent to a countably-sorted finitary variety. Our proofs rest upon th…
Sigma-fragmentability and the property SLD in C(K) spaces
2009
Abstract We characterize two topological properties in Banach spaces of type C ( K ) , namely, being σ-fragmented by the norm metric and having a countable cover by sets of small local norm-diameter (briefly, the property norm-SLD). We apply our results to deduce that C p ( K ) is σ-fragmented by the norm metric when K belongs to a certain class of Rosenthal compacta as well as to characterize the property norm-SLD in C p ( K ) in case K is scattered.
Extensions of cocycles for hyperfinite actions and applications
1997
Given a countable, hyperfinite, ergodic and measure-preserving equivalence relationR on a standard probability space (X, ℬ, μ) and an elementW of the normalizerN (R) ofR, we investigate the problem of extendingR-cocycles to\(\bar R\), where\(\bar R\) is the relation generated byR andW. As an application, we obtain that for a Bernoulli automorphism the smallest family of natural factors in sense of [6] consists of all factors. Given an automorphism which is embeddable in a measurable flow and a compact, metric group, we show that for a typical cocycle we cannot lift the whole flow to the centralizer of the corresponding group extension.
Symbolic Dynamics of Geodesic Flows on Trees
2019
In this chapter, we give a coding of the discrete-time geodesic ow on the nonwandering sets of quotients of locally finite simplicial trees X without terminal vertices by nonelementary discrete subgroups of Aut(X) by a subshift of finite type on a countable alphabet.
Upper bounds for the tightness of the $$G_\delta $$-topology
2021
We prove that if X is a regular space with no uncountable free sequences, then the tightness of its $$G_\delta $$ topology is at most the continuum and if X is, in addition, assumed to be Lindelof then its $$G_\delta $$ topology contains no free sequences of length larger then the continuum. We also show that, surprisingly, the higher cardinal generalization of our theorem does not hold, by constructing a regular space with no free sequences of length larger than $$\omega _1$$ , but whose $$G_\delta $$ topology can have arbitrarily large tightness.
Periodic Groups Covered by Transitive Subgroups of Finitary Permutations or by Irreducible Subgroups of Finitary Transformations
1999
Let X be either the class of all transitive groups of finitary permutations, or the class of all periodic irreducible finitary linear groups. We show that almost primitive X-groups are countably recognizable, while totally imprimitive X-groups are in general not countably recognizable. In addition we derive a structure theorem for groups all of whose countable subsets are contained in totally imprimitive X-subgroups. It turns out that totally imprimitive p-groups in the class X are countably recognizable.